\relax 
\citation{Penber94}
\citation{Smith99}
\citation{Bacchus01}
\citation{Haslum01}
\citation{Gerevi02}
\citation{Kvarnstrom03}
\citation{Younes03}
\citation{Wah06}
\citation{Cushing07,Gerevini10}
\citation{Cushing07}
\citation{Cushing07}
\newlabel{@firstpg}{{}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\newlabel{sec:intro}{{1}{1}}
\citation{Do03}
\citation{IPC6}
\citation{Shin:aaai04}
\citation{Coles08}
\citation{Coles08:AIJ}
\citation{Gerevini10}
\citation{Rao04}
\citation{Carman03,Rao04}
\citation{smith:jair03}
\citation{do:icaps2008}
\citation{Cushing07:ICAPS}
\citation{Kautz92,Kautz:IPC-04}
\citation{Giunchiglia07,Mattm07,Pham08:AIJ}
\citation{zhang:CAV-02}
\citation{Cushing07:ICAPS}
\citation{Cushing07:ICAPS}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{4}}
\newlabel{sec:background}{{2}{4}}
\citation{Do03}
\citation{Wah06}
\citation{Vidal06}
\citation{Mausam06,Cushing07}
\citation{Shin:aaai04}
\citation{Coles08}
\citation{Coles08:AIJ}
\citation{Gerevini10}
\citation{Wolfman99}
\citation{Gerevini10}
\citation{vidal:IPC-04,haslum:ICAPS-00,buttner:ICAPS-05,helmert:AAAI08}
\citation{Richter08,Richter10}
\citation{Haslum08}
\citation{keyder08}
\citation{IPC08a}
\citation{Giu07}
\citation{Kautz06}
\@writefile{toc}{\contentsline {section}{\numberline {3}SAT-based CSTE Planning Framework}{5}}
\newlabel{sec:encoding}{{3}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Extended SAT formulations}{5}}
\citation{Li04}
\citation{maxsat10}
\newlabel{overall}{{1}{6}}
\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces A SAT-based CSTE Planning Framework (SCOP)}}{6}}
\newlabel{def:mincost}{{3.1}{6}}
\newlabel{def:maxsat}{{3.2}{6}}
\citation{Long2003}
\citation{Smith99}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Transformation of actions}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}MinCost SAT Encoding}{7}}
\citation{Rintanen07:AAAI}
\@writefile{toc}{\contentsline {section}{\numberline {4}Weighted Partial Max-SAT Encoding}{8}}
\newlabel{sec:wpm-sat}{{4}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {5}A Branch-and-Bound Algorithm for Solving MinCost SAT}{9}}
\newlabel{sec:opt}{{5}{9}}
\citation{Davis62,zhang:CAV-02}
\citation{Marques96}
\citation{Moskewicz:DAC-01}
\citation{Een:TAST-04}
\citation{Een:TAST-04}
\newlabel{dpll}{{2}{10}}
\@writefile{loa}{\contentsline {algocf}{\numberline {2}{\ignorespaces  DPLL($\Phi $) }}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}The DPLL algorithm}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}The BB-DPLL algorithm for solving MinCost SAT}{10}}
\newlabel{modifiedsolve}{{3}{11}}
\@writefile{loa}{\contentsline {algocf}{\numberline {3}{\ignorespaces  BB-DPLL($\Phi ^c$) }}{11}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.1}Blocking clause}{11}}
\newlabel{algorithm:addBlockingClause}{{4}{12}}
\@writefile{loa}{\contentsline {algocf}{\numberline {4}{\ignorespaces add\_blocking\_clause($v$) }}{12}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2}Pruning clause}{12}}
\citation{zhang:CAV-02,Een:TAST-04}
\citation{Moskewicz:DAC-01}
\citation{Een:TAST-04}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.3}Lower bounding function}{13}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.4}Variable branching scheme}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Lower bounding function based on relaxed planning}{13}}
\newlabel{sec.relax}{{5.3}{13}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1}Theory}{13}}
\newlabel{def:dv}{{5.1}{13}}
\newlabel{def:f-cont}{{5.1}{13}}
\newlabel{def:o-cont}{{5.1}{14}}
\newlabel{def:cont}{{5.2}{14}}
\newlabel{def:h-x}{{5.3}{14}}
\newlabel{def:h-neg}{{5.3}{14}}
\newlabel{def:h-fact}{{5.3}{14}}
\newlabel{def:h-action}{{5.3}{14}}
\newlabel{lemm:h-x}{{5.4}{15}}
\newlabel{def:h-goal}{{1}{15}}
\newlabel{the:h-v}{{5.5}{16}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.2}Implementation}{16}}
\citation{Arbelaez:SAC-09}
\newlabel{costinit}{{5}{17}}
\@writefile{loa}{\contentsline {algocf}{\numberline {5}{\ignorespaces cost\_init()}}{17}}
\newlabel{costprop}{{6}{17}}
\@writefile{loa}{\contentsline {algocf}{\numberline {6}{\ignorespaces cost\_propagate()}}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Action cost based variable branching scheme}{17}}
\newlabel{sec.branch}{{5.4}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Comparisons of BB-DPLL related techniques}{18}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces  Comparisons of the total action costs by different techniques.}}{19}}
\newlabel{fig:cost-1}{{1}{19}}
\citation{Cushing07:ICAPS}
\citation{Cushing07:ICAPS,Coles08}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces  Comparisons of how different solving techniques refine the total action costs over the time.}}{20}}
\newlabel{fig:time-1}{{2}{20}}
\citation{Subramanian05}
\citation{Zhang09:SIGCOMM}
\citation{Rudenko2002}
\citation{Bhattacharya07}
\@writefile{toc}{\contentsline {section}{\numberline {6}Case Study: Modeling Communications in P2P Networks as CSTE Problems}{21}}
\newlabel{sec:P2P}{{6}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}A PDDL model of P2P network communications}{22}}
\citation{Coles08}
\citation{Coles08}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}High concurrency}{23}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Action costs in network communications}{23}}
\citation{Coles08:AIJ}
\citation{Coles08}
\citation{huang09:ICAPS}
\citation{Een:TAST-04}
\citation{sat4j}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}This figure partially illustrates temporal dependencies of actions for instances in three domains, Trucks, Matchlift and P2P. Each node represents an action. Each edge represents a temporal dependency between two actions.}}{24}}
\newlabel{illuActions}{{3}{24}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Experimental Results}{24}}
\newlabel{sec:experiments}{{7}{24}}
\citation{Coles08}
\citation{Coles08}
\citation{Coles08}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}The P2P domain}{25}}
\citation{Coles08}
\@writefile{lot}{\contentsline {table}{\numberline {I}{\ignorespaces  \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Experimental results on the P2P domain. Column `P' is the instance ID. Columns `C,F' is the numbers of peers and files, respectively, in the network. Columns `Time', `H' and `C' are the running time, time horizon and total action costs of solutions, respectively. SCOP$^{ma}$ and SCOP$^{mc}$ find the same number of time horizons to what STEP does, thus there is no column `H' presented for them. `Time Out' means the solver ran out of the time limit of 3600s and `-' means no solution found. If a planner solved all the instances, an additional number in row $\Sigma $ is presented, which the sum of all numbers in the corresponding column (i.e. `Time', `H' or `C'). }}{26}}
\newlabel{p2pResult}{{I}{26}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}The Matchlift domain}{26}}
\@writefile{lot}{\contentsline {table}{\numberline {II}{\ignorespaces   \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Experimental results on the Matchlift domain. The numbers in Columns L, M, R, U represent the numbers of floors, matches, rooms and fuses, respectively, which were used in generating the instances. }}{27}}
\newlabel{ma_result}{{II}{27}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3}The Matchlift-Variant domain}{27}}
\citation{Coles08}
\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces  \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Experimental results on the Matchlift-Variant domain. The numbers in columns `E, M, U' represent the numbers of electricians, matches, and fuses, respectively. `T' means the solver ran out of the time limit and `-' means no solution found.}}{28}}
\newlabel{mar_result}{{III}{28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4}The Driverlogshift domain}{28}}
\@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces   \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Experimental results on the DriverlogShift domain. The numbers in columns `D, P, T' represent the numbers of drivers, packages, and trucks, respectively. The result marked with a `$^*$' means the solution is invalid.}}{29}}
\newlabel{dr_result}{{IV}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.5}Number of variables and clauses}{29}}
\citation{Robinson08,huang:AAAI10}
\citation{Chen09}
\citation{Rintanen06:AIJ}
\@writefile{lot}{\contentsline {table}{\numberline {V}{\ignorespaces   \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}The numbers of variables and clauses on P2P domain and Matchlift-Variant domain. Column `\#VAR' is the number of variables, column `\#Clause' is the number of clauses and column `Time' is the overall solving time by STEP.}}{30}}
\newlabel{var_result}{{V}{30}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Conclusions and Future Works}{30}}
\newlabel{sec:discussions}{{8}{30}}
\bibstyle{acmtrans}
\bibdata{huang,lu}
\bibcite{IPC6}{\citeauthoryear {??}{IPC}{2008}}
\bibcite{Arbelaez:SAC-09}{\citeauthoryear {Arbel\'{a}ez and Hamadi}{Arbel\'{a}ez and Hamadi}{2009}}
\bibcite{Bacchus01}{\citeauthoryear {Bacchus and Winter}{Bacchus and Winter}{2001}}
\bibcite{Bhattacharya07}{\citeauthoryear {Bhattacharya and Ghosh}{Bhattacharya and Ghosh}{2007}}
\bibcite{buttner:ICAPS-05}{\citeauthoryear {B{\"u}ttner and Rintanen}{B{\"u}ttner and Rintanen}{2005}}
\bibcite{Carman03}{\citeauthoryear {Carman, Serafini, and Traverso}{Carman et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2003}}
\bibcite{Chen09}{\citeauthoryear {Chen, Huang, Xing, and Zhang}{Chen et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2009}}
\bibcite{IPC08a}{\citeauthoryear {Chen, Lv, and Huang}{Chen et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2008}}
\bibcite{Coles08:AIJ}{\citeauthoryear {Coles, Fox, Halsey, Long, and Smith}{Coles et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2008}}
\bibcite{Coles08}{\citeauthoryear {Coles, Fox, Long, and Smith}{Coles et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2008}}
\bibcite{Cushing07}{\citeauthoryear {Cushing, Kambhampati, Mausam, and Weld}{Cushing et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2007}}
\bibcite{Cushing07:ICAPS}{\citeauthoryear {Cushing, Kambhampati, Talamadupula, Weld, and Mausam}{Cushing et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2007}}
\bibcite{Davis62}{\citeauthoryear {Davis, Logemann, and Loveland}{Davis et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{1962}}
\bibcite{Do03}{\citeauthoryear {Do and Kambhampati}{Do and Kambhampati}{2003}}
\bibcite{do:icaps2008}{\citeauthoryear {Do, Ruml, and Zhou}{Do et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2008}}
\bibcite{Een:TAST-04}{\citeauthoryear {E\'{e}n and S\"{o}rensson}{E\'{e}n and S\"{o}rensson}{2004}}
\bibcite{keyder08}{\citeauthoryear {Emil\nobreakspace  {}Keyder}{Emil\nobreakspace  {}Keyder}{2008}}
\bibcite{Gerevini10}{\citeauthoryear {Gerevini, Saetti, and Serina}{Gerevini et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2010}}
\bibcite{Gerevi02}{\citeauthoryear {Gerevini and Serina}{Gerevini and Serina}{2002}}
\bibcite{Giunchiglia07}{\citeauthoryear {Giunchiglia and Maratea}{Giunchiglia and Maratea}{2007a}}
\bibcite{Giu07}{\citeauthoryear {Giunchiglia and Maratea}{Giunchiglia and Maratea}{2007b}}
\bibcite{Haslum08}{\citeauthoryear {Haslum}{Haslum}{2008}}
\bibcite{haslum:ICAPS-00}{\citeauthoryear {Haslum and Geffner}{Haslum and Geffner}{2000}}
\bibcite{Haslum01}{\citeauthoryear {Haslum and Geffner}{Haslum and Geffner}{2001}}
\bibcite{helmert:AAAI08}{\citeauthoryear {Helmert, Haslum, and Hoffmann}{Helmert et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2008}}
\bibcite{huang09:ICAPS}{\citeauthoryear {Huang, Chen, and Zhang}{Huang et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2009}}
\bibcite{huang:AAAI10}{\citeauthoryear {Huang, Chen, and Zhang}{Huang et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2010}}
\bibcite{Kautz:IPC-04}{\citeauthoryear {Kautz}{Kautz}{2004}}
\bibcite{Kautz06}{\citeauthoryear {Kautz}{Kautz}{2006}}
\bibcite{Kautz92}{\citeauthoryear {Kautz and Selman}{Kautz and Selman}{1992}}
\bibcite{Kvarnstrom03}{\citeauthoryear {Kvarnstr{\"o}m and Magnusson}{Kvarnstr{\"o}m and Magnusson}{2003}}
\bibcite{Li04}{\citeauthoryear {Li}{Li}{2004}}
\bibcite{Long2003}{\citeauthoryear {Long and Fox}{Long and Fox}{2003}}
\bibcite{Marques96}{\citeauthoryear {Marques-Silva and Sakallah}{Marques-Silva and Sakallah}{1996}}
\bibcite{Mattm07}{\citeauthoryear {Mattm\"{u}ller and Rintanen}{Mattm\"{u}ller and Rintanen}{2007}}
\bibcite{Mausam06}{\citeauthoryear {Mausam and Weld}{Mausam and Weld}{2006}}
\bibcite{maxsat10}{\citeauthoryear {MAXSAT}{MAXSAT}{2010}}
\bibcite{Moskewicz:DAC-01}{\citeauthoryear {Moskewicz, Madigan, Zhao, Zhang, and Malik}{Moskewicz et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2001}}
\bibcite{Penber94}{\citeauthoryear {Penberthy and Weld}{Penberthy and Weld}{1994}}
\bibcite{Pham08:AIJ}{\citeauthoryear {Pham, Thornton, and Sattar}{Pham et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2008}}
\bibcite{Rao04}{\citeauthoryear {Rao and Su}{Rao and Su}{2004}}
\bibcite{Richter08}{\citeauthoryear {Richter and Westphal}{Richter and Westphal}{2008}}
\bibcite{Richter10}{\citeauthoryear {Richter and Westphal}{Richter and Westphal}{2010}}
\bibcite{Rintanen07:AAAI}{\citeauthoryear {Rintanen}{Rintanen}{2007}}
\bibcite{Rintanen06:AIJ}{\citeauthoryear {Rintanen, Heljanko, and Niemel\"{a}}{Rintanen et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2006}}
\bibcite{Robinson08}{\citeauthoryear {Robinson, Gretton, Pham, and Sattar}{Robinson et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2008}}
\bibcite{Rudenko2002}{\citeauthoryear {Rudenko}{Rudenko}{2002}}
\bibcite{sat4j}{\citeauthoryear {{SAT4J solver}}{{SAT4J solver}}{2004}}
\bibcite{Shin:aaai04}{\citeauthoryear {Shin and Davis}{Shin and Davis}{2004}}
\bibcite{smith:jair03}{\citeauthoryear {Smith}{Smith}{2003}}
\bibcite{Smith99}{\citeauthoryear {Smith and Weld}{Smith and Weld}{1999}}
\bibcite{Subramanian05}{\citeauthoryear {Subramanian and Goodman}{Subramanian and Goodman}{2005}}
\bibcite{vidal:IPC-04}{\citeauthoryear {Vidal and Geffner}{Vidal and Geffner}{2004}}
\bibcite{Vidal06}{\citeauthoryear {Vidal and Geffner}{Vidal and Geffner}{2006}}
\bibcite{Wah06}{\citeauthoryear {Wah and Chen}{Wah and Chen}{2006}}
\bibcite{Wolfman99}{\citeauthoryear {Wolfman and Weld}{Wolfman and Weld}{1999}}
\bibcite{Younes03}{\citeauthoryear {Younes and Simmons}{Younes and Simmons}{2003}}
\bibcite{Zhang09:SIGCOMM}{\citeauthoryear {Zhang, Goel, and Govindan}{Zhang et\nobreakspace  {}al\unhbox \voidb@x \hbox {.}}{2009}}
\bibcite{zhang:CAV-02}{\citeauthoryear {Zhang and Malik}{Zhang and Malik}{2002}}
\@writefile{toc}{\contentsline {section}{\numberline {A}Experimental Results of Techniques in MC-SAT}{App--1}}
\newlabel{appendix:cost-time}{{A}{App--1}}
\@writefile{lot}{\contentsline {table}{\numberline {VI}{\ignorespaces  \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Comparison of time and cost with different techniques in p2p domain.}}{App--1}}
\newlabel{tb:p2p}{{VI}{App--1}}
\@writefile{lot}{\contentsline {table}{\numberline {VII}{\ignorespaces  \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Comparison of time and cost with different techniques in driverlog domain.}}{App--2}}
\newlabel{tb:driverlog}{{VII}{App--2}}
\@writefile{lot}{\contentsline {table}{\numberline {VIII}{\ignorespaces  \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Comparison of time and cost with different techniques in matchlift domain.}}{App--2}}
\newlabel{tb:matchlift}{{VIII}{App--2}}
\@writefile{lot}{\contentsline {table}{\numberline {IX}{\ignorespaces  \relax \fontsize  {9}{11pt}\selectfont  \abovedisplayskip 5pt plus 2pt minus 1pt\belowdisplayskip \abovedisplayskip \abovedisplayshortskip 5pt plus0pt minus2pt\belowdisplayshortskip 5pt plus0pt minus 2pt \def \leftmargin \leftmargini \topsep 4pt plus 1pt minus 0pt\parsep 0pt plus .5pt \itemsep 1pt plus .7pt{\leftmargin \leftmargini \topsep 5pt plus 2pt minus 1pt\parsep 0pt plus .7pt \itemsep 1.6pt plus .8pt}Comparison of time and cost with different techniques in matchlift-variant domain.}}{App--2}}
\newlabel{tb:matchliftv}{{IX}{App--2}}
